منابع مشابه
Kleisli enriched
For a monad S on a categoryK whose Kleisli category is a quantaloid, we introduce the notion of modularity, in such a way that morphisms in the Kleisli category may be regarded as V(bi)modules (= profunctors, distributors), for some quantale V . The assignment S // V is shown to belong to a global adjunction which, in the opposite direction, associates with every (commutative, unital) quantale ...
متن کاملKleisli Database Instances
We use monads to relax the atomicity requirement for data in a database. Depending on the choice of monad, the database fields may contain generalized values such as lists or sets of values, or they may contain exceptions such as various types of nulls. The return operation for monads ensures that any ordinary database instance will count as one of these generalized instances, and the bind oper...
متن کاملRecursive Types in Kleisli Categories
We show that an enriched version of Freyd's principle of versality holds in the Kleisli category of a commutative strong monad with xed-point object. This gives a general categorical setting in which it is possible to model recursive types involving the usual datatype constructors.
متن کاملQuantum Programs as Kleisli Maps
Furber and Jacobs have shown in their study of quantum computation that the category of commutative C∗-algebras and PU-maps (positive linear maps which preserve the unit) is isomorphic to the Kleisli category of a comonad on the category of commutative C∗-algebras with MIU-maps (linear maps which preserve multiplication, involution and unit). [3] In this paper, we prove a non-commutative varian...
متن کاملHunting TPR Domains Using Kleisli.
We have two objectives. First, we want to build a system for detecting tetratricopeptide repeats in protein sequences. Second, we want to demonstrate how the general bioinformatics database integration system called Kleisli can help build such a system easily. We achieve these two objectives by showing that short and clear programs can be written in Kleisli, using its high-level query language ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2012
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2012.02.029